Revision: tla-tools--devo--0--patch-95
Archive: miles@gnu.org--gnu-2003
Creator: Miles Bader <miles@gnu.org>
Date: Wed Oct  1 08:37:15 JST 2003
Standard-date: 2003-09-30 23:37:15 GMT
Modified-files: ChangeLog tla-cvs-sync.shpp
New-patches: miles@gnu.org--gnu-2003/tla-tools--devo--0--patch-95
Summary: Ignore the return status of tla-update-ids in tla-cvs-sync

The return status of tla-update-ids only signals whether something did
or did not change, not any error (except for command-line syntax errors,
and we shouldn't have any of those :-).
